Preliminary Specification of Basic Services and Protocols

نویسندگان

  • G. Blair
  • C. Brudna
  • V. Cahill
  • A. Casimiro
  • R. Cunningham
  • H. Duran-Limon
  • J. Kaiser
  • P. Martins
  • P. Veríssimo
چکیده

network layer network layer QoS assurance Functional abstractions middleware events with context and temporal properties, event channels with quality properties message classes, messages with temporal properties, network reliability properties network dependent best effort message transfer Figure 6: Architectural layers. munication services as e.g. som form of reli le broadcast or group communication and tempora guarante s for the m ssage transfer. As an example, Figure 7 presents the preliminary specification of protocols and services for a particular CAN (CAN-Bus [28]). It lists the basic abstractions, the methods to deal with these abstractions, the system services available, the components to realize the system services and specific protocols needed to support the abstractions in the distributed architecture. The P/S layer supports events and different classes of event channels with different quality properties. It should be noted that the QoS properties in general depend on what the abstract network layer can provide. Thus, it may not always be possible to e.g. support a hard real-time event channel because the abstract network layer can not provide the respective guarantees. Therefore, the event channel classes supported are dependent on the zones in which publishers and subscribers reside. Figure 7 covers the case of a single zone which is a CAN-Bus. A detailed description of these abstractions and the mechanisms to enforce them on a CAN-Bus[28] is provided in Section4 of this deliverable with the title: ”A RealTime Event Channel Mod l for the CAN-Bus”. The dynami binding protocol of th P/S layer and the configuration protocol of the AN-layer are described in [17, 44]. 2.6 Adaptable Timed Event Service (ATES) A proposed solution to handle some of the timeliness requirements of CORTEX system entities is by using a specialized architectural building block, the Timely Computing Base, which provides a set of fundamental services tailored for that purpose. However, since the services provided by the TCB are just the essential ones in order to keep the TCB small, simple and hence reliable, the interface supplied by the TCB is, in a certain way, a low level interface, which should be hidden from sentient objects in the programming model. The Adaptable Timed Event Service (ATES ) is a middleware event service that extends the CORTEX publish/subscribe programming model with constructors to deal with timeliness requirements. ATES hides from sentient objects the low level services provided by the TCB concerning timing failure detection, coverage stability and awareness, and timely execution, providing high level abstractions more suitable

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Web Service Choreography Verification Using Z Formal Specification

Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...

متن کامل

A model for specification, composition and verification of access control policies and its application to web services

Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...

متن کامل

Layered Specifications Framework for Analysis of Secure Protocols

We present a framework for specification and analysis of layered distributed algorithms, especially cryptographic protocols, with emphasis on security and fault-tolerance. Layered specifications is standard engineering practice, e.g. in networking (the OSI and TCP/IP protocol stacks). Layered specifications allow modular design of each layer, proving layer i meets specifications speci assuming ...

متن کامل

Web Services Security: a preliminary study using Casper and FDR

Web Services is an important new XML-based architecture in which security is increasingly important. The WS-Security specification defines mechanisms for securing the SOAP messages. We show how those messages can be mapped to Casper notation and therefore be analysed with FDR. We show two attacks on proposed protocols and lastly discuss informally some ramifications of the use of the WS-Securit...

متن کامل

Diagrammatization of the Transmission Control Protocol

With the wide spread of Internet services, developers and users need a greater understanding of the technology of networking. Acquiring a clear understanding of communication protocols is an important step in understanding how a network functions; however, many protocols are complicated, and explaining them can be demanding. In addition, protocols are often explained in terms of traffic analysi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003